در این رساله مطالعه فرمولهای علامتدار-g مجموعه ای که تعمیمی از فرمولهای علامتدار می باشند ارائه شده و ضابطه های تبدیل -g مجموعه ای به منظور فراهم آوردن منطقهای -g مجموعه ای معرفی می شوند. دسته های فرمولهای علامتدار -g مجموعه ای اشباع شده به طرف پائین یا بالای هینتی کا و کالمار جهت اثبات تمامیت منطقهای -g مجموعه ای تعمیم داده خواهند شد. به جای -g مجموعه ها یا بازه های محدب ، ساختارهای هازی محدب ...

قبیل سخنان و گشودن رازهای نهفته در آن ها، چشم اندازی جدید از مواجهة تاریخی و سپس علمی با این پدیده است. تقریباً در همة آثاری که له و علیه شطحیات به نگارش درآمده اند، آن جایی که به انکار یا دفاع عقلانی از شطحیات پرداخته شده و نشانی از اثبات و رد توجیه منطقی این قبیل سخنان و تعابیر دیده می شود، منظور از عقل، عقل ارسطویی و مراد از منطق، منطق دوارزشی ارسطویی بوده است. با آن که منشأ اشکالات و مشکلات ...

چکیده پدیده های حقوقی دائم در حال خلق، محو و تغییرند. این خصیصه حقوق، یعنی تکامل پدیده های حقوقی که تابعی از تکامل پدیده های اجتماعی است، در حقوق بین الملل که مراحل نه چندان پیش رفته از تکامل خود را پشت سر می گذارد با قوتی بیش تر رخ می نمایاند. در واقع، حقوق بین الملل از مبادی جهان شناسانه خود گرفته تا فرایندهای اداری و اجرایی محصول آن، نو به نو در فرایند تبدیل و تبدل به سر می برد. عرصه منابع ...

هدف از این پایان نامه، بررسی mv -مدول هاست. در پایان بعضی ساختارهای فازی روی آن نیز بررسی خواهد شد. تا از این طریق بتوانیم در جهت پیشرفت ساختارهای فازی گامی هر چند ناچیز برداریم. ایده درنظر گرفتن فرمول های زبان منطقی به عنوان عبارات جبری اولین بار توسط جورج بول مطرح شد و عمدتاً از طریق در نظر گرفتن روابط بین کلاسهای اشیاء الهام گرفته است. چانگ از طریق تجزیه و تحلیل منطق چندارزشی در سال 1958، به...

هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفا...

به علت برخی ویژگی های منطق سنتی ارسطویی، عدم ارتباط منطقی میان جملات از نوع «هست» و جملات از نوع «باید» بدیهی به نظر می رسد. اما منطق جدید فاقد چنین ویژگی هایی است؛ پرایور با تکیه بر این نکته طرف داران شکاف منطقی «هست» و «باید» را با یک پارادوکس مواجه می کند. در این مقاله ابتدا پارادوکس پرایور و برخی پاسخ های فلسفی به آن را بیان می کنیم، سپس به تشریح منطق چند ارزشی بیل که برای حل این پارادوکس پ...

در این پایان نامه‏، پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز‏، نخست یک vt-عملگر روی‎ یک rl-تکواره m تعریف کرده و ‎rlvt-تکواره هارا معرفی خواهیم کرد. بعلاوه‏، با استفاده‎‎‎‎‎‎‎‎‎‎‎‎‎‎ از vt-عملگرها خود-نگاشت هایی ازm معرفی می کنیم که در حالت mv-جبرها دوگان vt-عملگرهامی باشند. سپس سور عمومی ‎?‎‎روی یک rl-تکوارهرا تعریف کرده و در نتیجه rl-تکواره تکین( mrl-تکواره) را‏ معرفی و برخی از ویژ‎‎‏گی ه...

نظام شریعت اسلامی به عنوان یک سیستم ارزشی وحقوقی کامل با منابع پایدار کتاب و سنت و بهره مندی از عقل به عنوان رسول باطنی، سازگارترین نظام ارزشی با تغییرات و تحولات جهان است؛ به طوری که منطق به کار رفته در کتاب و سنت، منطقی چند ارزشی و پیوسته است. در این نظام ارزشی، گزاره های دینی درجه بندی و پیوسته، با متغیرهای زبانی بیان گشته است. این مقاله کوششی است در تبیین نظام ارزشی پیوسته و فازی، تا فرایند...

نظام شریعت اسلامی به عنوان یک سیستم ارزشی وحقوقی کامل با منابع پایدار کتاب و سنت و بهره مندی از عقل به عنوان رسول باطنی، سازگارترین نظام ارزشی با تغییرات و تحولات جهان است؛ به طوری که منطق به کار رفته در کتاب و سنت، منطقی چند ارزشی و پیوسته است. در این نظام ارزشی، گزاره‌های دینی درجه‌بندی و پیوسته، با متغیرهای زبانی بیان گشته است. این مقاله کوششی است در تبیین نظام ارزشی پیوسته و فازی، تا فرایند...

منطق چند ارزشی امکان تعریف بیش از دو سطح منطقی را فراهم می آورد و سبب کاهش تعداد عملیات مورد نیاز برای پیاده سازی توابع ریاضی و مساحت تراشه می شود. این منطق در مقایسه با منطق دو مقداری، یکی از راه های بهینه کردن مدارهای دیجیتالی است چرا که با به کارگیری این منطق، محتوای دیتای بیشتری در سیم های ارتباطی منتقل می شود و به واسطه آن سرعت مدار و توان مصرفی و نیز کارایی آن بهبود می یابد. در این تحقیق ...